effect-type(ds;ds';da) == kx:KndId fp State(ds)Valtype(da;1of(kx))ds'(2of(kx))?Top 

latex

---

clarification:

effect-type(ds;ds';da)
== kx:KndId fp State(ds)Valtype(da;1of(kx))fpf-cap(ds';IdDeq;2of(kx);Top) 

latex

Definitions	a:A fp B(a), Knd, Id, State(ds), Valtype(da;k), 1of(t), f(x)?z, IdDeq, 2of(t), Top
FDL editor aliases	effect-type